Pointer Analysis
نویسندگان
چکیده
Pointer analysis is a fundamental static program analysis, with a rich literature and wide applications. The goal of pointer analysis is to compute an approximation of the set of program objects that a pointer variable or expression can refer to. We present an introduction and survey of pointer analysis techniques, with an emphasis on distilling the essence of common analysis algorithms. To this end, we focus on a declarative presentation of a common core of pointer analyses: algorithms are modeled as configurable, yet easy-to-follow, logical specifications. The specifications serve as a starting point for a broader discussion of the literature, as independent threads spun from the declarative model. Y. Smaragdakis and G. Balatsouras. Pointer Analysis. Foundations and Trends © in Programming Languages, vol. 2, no. 1, pp. 1–69, 2015. DOI: 10.1561/2500000014.
منابع مشابه
A Context-Sensitive Pointer Analysis Phase in Open64 Compiler
The precision of the pointer analysis plays an important role in compiler and other software understanding tools. Contextsensitivity is proven to be an effective methods to improve the precision of the final results of pointer analysis. Many context-sensitive pointer analysis methods have been proposed, however, few of them have been incorporated into production compilers. In Open64 compiler, i...
متن کاملInterprocedural Pointer Analysis for C Interprocedural Pointer Analysis for C
Interprocedural pointer analysis provides information on the values pointer variables may have at various points in a program. It is especially useful in languages like C, where pointers are extensively used. This analysis does not improve code directly but is used by other optimizations. This paper presents a framework in which to perform pointer analysis. Basic questions that any pointer anal...
متن کاملApplying DEF/USE Information of Pointer Statements to Traversal-Pattern-Aware Pointer Analysis
Pointer analysis is essential for optimizing and parallelizing compilers. It examines pointer assignment statements and estimates pointer-induced aliases among pointer variables or possible shapes of dynamic recursive data structures. However, previously proposed techniques are not able to gather useful information or have to give up further optimizations when overall recursive data structures ...
متن کاملPrecise and Efficient Call Graph Construction for C Programs with Function Pointers
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses through pointer dereferences, as well as indirect procedure calls (e.g., through function pointers in C). Such indirect accesses and calls can be disambiguated with pointer analysis. In this paper we evaluate the precision...
متن کاملA case report of notoedric mange infestation in a 3-month-old pointer
A 3-month-old short haired pointer with crusty local alopecia around the eyes was presented to SmallAnimal Hospital of Tehran University. Scraping and biopsy were obtained from lesions of affected area.Notoedres sp. was diagnosed in skin scraping by parasitologic examination. Furthermore, histopathology oflesions demonstrated moderate hyperplastic epidermis, parakeratosis and acanthosis.
متن کاملFunction Pointer Analysis for C Programs
Function pointers are a feature of the C programming language whose use obscures the control flow of a program and makes programs hard to analyze. Existing pointer analyses are able to resolve function pointers, but lack the capabilities to precisely distinguish function pointer variables within complex data structures. The aim of this work is to develop a function pointer analysis which achiev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Foundations and Trends in Programming Languages
دوره 2 شماره
صفحات -
تاریخ انتشار 2015